Finding Order-Preserving Subgraphs
arxiv.org·23h
🕸️Graph Algorithms
A Wide Reduction Trick (2022)
words.filippo.io·41m·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Algebra Problems of the Day (Algebra Regents, June 2025 Part III)
mrburkemath.blogspot.com·2d·
Discuss: www.blogger.com
🔢Reed-Solomon Math
Billions of Edges per Second with Postgres
onesparse.com·1d·
Discuss: Hacker News
🗜️Graph Compression
Revisiting k-Means: 3 Approaches to Make It Work Better
machinelearningmastery.com·13h
📊Vector Quantization
Complex knots can actually be easier to untie than simple ones
newscientist.com·1d
🕸️Algebraic Topology
How to reason from first principles
caseyhandmer.wordpress.com·8h
🎯Proof Tactics
2011 N1 = 2024 A2
blog.evanchen.cc·9h
🔬Lean
Machine Learning Fundamentals: dimensionality reduction
dev.to·12h·
Discuss: DEV
📐Linear Algebra
Historical highlights?
logicmatters.net·1d
🔀Category Theory
A Poet Completes the Square
denisegaskins.com·14h
⚔️Lean Tactics
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·23h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·8h·
Discuss: Hacker News
✨Algebraic Effects
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·3h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·2d
📝Text Parsing
DuSEGO: Dual Second-order Equivariant Graph Ordinary Differential Equation
arxiv.org·1d
🔗Graph Isomorphism
AtCoder Finals Problem Statement
atcoder.jp·9h·
Discuss: Hacker News
🇯🇵Japanese Computing
Divide-Then-Rule: A Cluster-Driven Hierarchical Interpolator for Attribute-Missing Graphs
arxiv.org·23h
🕸️Neo4j